Refinement Types, SMT Integration, Program Verification, Type Safety
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
FLINT: Fast Library for Number Theory
flintlib.org·15h
Claude Code's 19 cent Parser
blogger.com·21h
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
Status Week 34
blogs.gnome.org·8h
Song recommendations with F# free monads
blog.ploeh.dk·1d
Loading...Loading more...